2737c2069f84098f5f1f32cc5279e6050505b9b7,src/org/exist/xquery/LocationStep.java,LocationStep,getAttributes,#XQueryContext#Sequence#,439
Before Change
//TODO : currentDocs can not be null here
//TODO : currentSet can not be null here
if (!optimized && (currentSet == null || currentDocs == null
|| !(docs.equalDocs(currentDocs)))) {
ElementIndex index = context.getBroker().getElementIndex();
if (context.getProfiler().isEnabled())
context.getProfiler().message(this, Profiler.OPTIMIZATIONS,
After Change
if (hasPreloadedData()) {
DocumentSet docs = getDocumentSet(contextSet);
if (currentSet == null || currentDocs == null ||
(!optimized && !(docs == currentDocs || docs.equalDocs(currentDocs)))) {
ElementIndex index = context.getBroker().getElementIndex();
if (context.getProfiler().isEnabled())
context.getProfiler().message(this, Profiler.OPTIMIZATIONS,